p∨qrs等值演算
春簾15783655645咨詢： 等值演算判斷公式類型(永真,永假,可滿足) -
泰順縣溝球軸回復(fù)：
______ (p←→q) (p→q)∧(q→p) (┐p∨q)∧(┐q∨p) (┐p∧┐q)∨ (┐p∧p)∨(q∧┐q)∨(q∧p) (┐p∧┐q)∨(q∧p) ┐(p∨q)∨(q∧p) => ┐(p∨q)
春簾15783655645咨詢： 用等值演算求公式的主析取范式與真賦值 -
泰順縣溝球軸回復(fù)：
______ (1) (?p→q)→(?q∨p) ? ?(?p→q)∨(p∨?q) 變成 合取析取 ? ?(p∨q)∨(p∨?q) 變成 合取析取 ? (?p∧?q)∨(p∨?q) 德摩根定律 ? (?p∧?q)∨(p∧(q∨?q))∨(p∨?p)∧?q) 補項 ? (?p∧?q)∨(p∧q)∨(p∧?q) 分配率 冪等率 得到...
春簾15783655645咨詢： 這步等值演算怎么弄? -
泰順縣溝球軸回復(fù)：
______ 解此類問題的步驟應(yīng)為: ① 將簡單命題符號化 ② 寫出各復(fù)合命題 ③ 寫出由各復(fù)合命題組成的合取式 ④ 將寫出的公式化成析取范式,給出其成真賦值,即可得到答案. 具體解法如下: ① 令 p:派趙去 q:派錢去 r:派孫去 s:派李去 u:...
春簾15783655645咨詢： 離散數(shù)學(xué)題 等值驗算 -
泰順縣溝球軸回復(fù)：
______ ((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s)) ((q∧┐r)∧(r∧s))∨((┐q∧r)∧(r∧s))∨((q∧┐r)∧(┐r∧┐s))∨((┐q∧r)∧(┐r∧┐s)) (┐q∧r∧s)∨(q∧┐r∧┐s) (q∧┐r∧┐s)∨(┐q∧r∧s)
春簾15783655645咨詢： 用等值演算證明此式為重言式((￢p∨q)∧(q→r))→(￢p∨r)在線等 -
泰順縣溝球軸回復(fù)：
______ 如圖:
春簾15783655645咨詢： 離散數(shù)學(xué) 等值驗算 -
泰順縣溝球軸回復(fù)：
______ 用一下分配律而已.整個結(jié)構(gòu)就是(A∨B)∧(C∨D)的樣子,分配律應(yīng)用后是(A∧C)∨(A∧D)∨(B∧C)∨(B∧D). 用了分配律后是(q∧┐r∧r∧s)∨(q∧┐r∧┐r∧┐s)∨(┐q∧r∧r∧s)∨(┐q∧r∧┐r∧┐s)=0∨(q∧┐r∧┐s)∨(┐q∧r∧s)∨0=(q∧┐r∧┐s)∨(┐q∧r∧s)
春簾15783655645咨詢： 離散數(shù)學(xué) 等值演算 p→q→r<=>(p→ q)→(p→r) -
泰順縣溝球軸回復(fù)：
______ 樓主,這個等值演算應(yīng)該不成立,比如p=0,q=1,r=0時前面為假,后面為真.下面我給你它的等值演算吧! p—>q—>r經(jīng)過演算得m1@m3@m4@m5@m7 @代表是離散數(shù)學(xué)的吸取或張開符號. 而(p—>q)—>(p—>r)非(非p@q)@(非p...
春簾15783655645咨詢： 證明等值式(p∧q)∨(┐p∧r)∨(q∧r)?(p∧q)∨(┐p∧r) -
泰順縣溝球軸回復(fù)：
______ 左?m11Xvm0X1vmX11 ?m110vm111vm001vm011 ?∑(1,3,6,7) 右?m11Xvm0X1 ?m110vm111vm011vm001 ?∑(1,3,6,7) 可以看到兩者主析取范式相同,得證
春簾15783655645咨詢： 離散數(shù)學(xué)里,求主析取范式,p和p∧1等值么,為什么 -
泰順縣溝球軸回復(fù)：
______ 是,這是等值演算公式中的“同一律” .
春簾15783655645咨詢： 離散數(shù)學(xué)數(shù)理邏輯(p - >r)∧(q - >┐r)∧(┐r - >(p∨q)) 怎么演算變成主析取范式? 答案是 m1∨m2∨m5 -
泰順縣溝球軸回復(fù)：
______ 常規(guī)做法是進行等值演算,過程有點麻煩.也可以用真值表,主析取范式中的每一個極小項mj的下標對應(yīng)的二進制數(shù)(對于本題來說,就是三位二進制了)就是命題公式的成真賦值.所以我們只要找出所有的成真賦值,轉(zhuǎn)換為十進制數(shù),就得到...
